Challenges in Symbolic Computation Software Dagstuhl Seminar
نویسندگان
چکیده
From 02.07.06 to 07.07.06, the Dagstuhl Seminar 06271 Challenges in Symbolic Computation Software was held in the International Conference and Research Center (IBFI), Schloss Dagstuhl. During the seminar, several participants presented their current research, and ongoing work and open problems were discussed. Abstracts of the presentations given during the seminar as well as abstracts of seminar results and ideas are put together in this paper. The rst section describes the seminar topics and goals in general. Links to extended abstracts or full papers are provided, if available.
منابع مشابه
Synergies among Testing, Verification, and Repair for Concurrent Programs (Dagstuhl Seminar 16201)
This report documents the program and the outcomes of Dagstuhl Seminar 16201 “Synergies among Testing, Verification, and Repair for Concurrent Programs”. This seminar builds upon, and is inspired by, several past seminars on program testing, verification, repair and combinations thereof. These include Dagstuhl Seminar 13021 “Symbolic Methods in Testing”; Dagstuhl Seminar 13061 “Fault Prediction...
متن کاملSymbolic Methods for Chemical Reaction Networks (Dagstuhl Seminar 12462)
During 11–16 November 2012, the Dagstuhl Seminar 12462 “Symbolic Methods for Chemical Reaction Networks” was held in Schloss Dagstuhl – Leibneiz Center for Informatics. The seminar brought together researchers in symbolic computation, chemical engineering, and systems biology. During the seminar, participants presented five-minute talks introducing their research interests, five participants ga...
متن کاملReport from Dagstuhl Seminar 15181 Challenges and Trends in Probabilistic Programming
This report documents the program and the outcomes of Dagstuhl Seminar 15181 “Challenges and Trends in Probabilistic Programming”. Probabilistic programming is at the heart of machine learning for describing distribution functions; Bayesian inference is pivotal in their analysis. Probabilistic programs are used in security for describing both cryptographic constructions (such as randomised encr...
متن کاملMulticore Enablement for Embedded and Cyber Physical Systems (Dagstuhl Seminar 13052)
This report documents the program and the outcomes of Dagstuhl Seminar 13021 “Symbolic Methods in Testing”. The aim of the seminar was to bring together leading researchers of this field; the seminary ended up with 38 participants from 10 countries: France, The Netherlands, The Unites States, Germany, Switzerland, United Kingdom, Brazil, Norway, Estonia and Italy. Through a series of presentati...
متن کاملReal-World Visual Computing (Dagstuhl Seminar 13431)
Deduction and Arithmetic (Dagstuhl Seminar 13411) Nikolaj Bjørner, Reiner Hähnle, Tobias Nipkow, and Christoph Weidenbach . . . . . . 1 Genomic Privacy (Dagstuhl Seminar 13412) Kay Hamacher, Jean Pierre Hubaux, and Gene Tsudik . . . . . . . . . . . . . . . . . . . . . . . . . . . 25 Algorithms for Optimization Problems in Planar Graphs (Dagstuhl Seminar 13421) Glencora Borradaile, Philip Klein,...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2006